Dan - PDFSEARCH.IO - Document Search Engine

Dan
Results: 22254

#	Item
21	Predicate Abstraction for Relaxed Memory Models Andrei Dan Martin Vechev Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Logic Mathematical logic Linguistics Dekker's algorithm Edsger W. Dijkstra Predicate Flag
22	Blockcloud: A Blockchain-based Service-centric Network Stack Zhongxing Ming∗ , Shu Yang† , Qi Li∗ , Dan Wang‡ , Mingwei Xu∗ , Ke Xu∗ , Laizhong Cui† ∗ Dept. of Comp. Sci. & Tech., Tsinghua Univ., Tsinghu Add to Reading List Source URL: www.block-cloud.io Language: English - Date: 2018-09-20 01:51:30 Cryptocurrencies Computing Emerging technologies Alternative currencies Blockchains Technology Information Ethereum Internet of things Bitcoin Gateway ternity
23	Cultural Shift or Linguistic Drift? Comparing Two Computational Measures of Semantic Change arXiv:1606.02821v2 [cs.CL] 24 SepWilliam L. Hamilton, Jure Leskovec, Dan Jurafsky Add to Reading List Source URL: arxiv.org Language: English - Date: 2016-09-26 23:28:47 Linguistics Semantics Historical linguistics Computational linguistics Sociolinguistics Natural language processing Grammaticalization Semantic change Semantic similarity Distributional semantics Language change Subjectification
24	Alloy Modeling Language meets SMT-LIB Forrest Cinelli, Kyle McCormick, Dan Dougherty WPI NSF Supportand Add to Reading List Source URL: alloytools.org Language: English - Date: 2018-06-13 06:07:43 Mathematical logic Theoretical computer science Formal methods Constraint programming Alloy Massachusetts Institute of Technology Z notation Predicate logic SMT Predicate Constraint satisfaction problem Satisfiability modulo theories
25	MEDIA RELEASE IOSCO/MROktoberIOSCO Meluncurkan World Investor Week 2018 untuk Mempromosikan Edukasi dan Add to Reading List Source URL: www.iosco.org Language: Indonesian - Date: 2018-10-03 10:07:50
26	Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Mathematical logic Logic Predicate logic Mathematics Predicate FO Atomic sentence Primitive recursive function Syntactic predicate
27	PDF Document Add to Reading List Source URL: www.dan.sperber.fr - Date: 2018-04-24 17:51:11
28	PDF Document Add to Reading List Source URL: www.dan.sperber.fr - Date: 2018-04-24 17:51:30
29	PDF Document Add to Reading List Source URL: www.dan.sperber.fr - Date: 2018-04-24 17:51:24
30	PDF Document Add to Reading List Source URL: www.dan.sperber.fr - Date: 2009-10-05 15:58:53